Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT

In this paper we deal with propositional fuzzy formulae containing severalpropositional symbols linked with connectives defined in a lattice of truth degrees more complex than Bool. We firstly recall an SMT (Satisfiability Modulo Theories) based method for automatically proving theorems in relevant infinitely valued (including Łukasiewicz and G¨odel) logics. Next, instead of focusing on satisfiability (i.e., proving the existence of at least one model) or unsatisfiability, our interest moves to the problem of finding the whole set of models (with a finite domain) for a given fuzzy formula. We propose an alternative method based on fuzzy logic programming where the formula is conceived as a goal whose derivation tree contains on its leaves all the models of the original formula, by exhaustively interpreting each propositional symbol in all the possible forms according the whole setof values collected on the underlying lattice of truth-degrees

String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations

Classically, most programming languages use in a predefined way thenotion of “string” as an standard data structure for a comfortable management of arbitrary sequences of characters. However, in this paper we assign a different role to this concept: here we are concerned with fuzzy logic programming, a somehow recent paradigm trying to introduce fuzzy logic into logic programming. In this setting, the mathematical concept of multi-adjoint lattice has been successfully exploited into the so-called Multi-adjoint Logic Programming approach, MALP in brief, for modeling flexible notions of truth-degrees beyond the simpler case of true and false. Our main goal points out not only our formal proof verifying that stringbased lattices accomplish with the so-called multi-adjoint property (as well as its Cartesian product with similar structures), but also its correspondence with interesting debugging tasks into the FLOPER system (from “Fuzzy LOgic Programming Environment for Research”) developed in our research group

Analyzing Fuzzy Logic Computations with Fuzzy XPath

Implemented with a fuzzy logic language by using the FLOPER tool developed in our research group, we have recently designed a fuzzy dialect of the popular XPath language for the flexible manipulation of XML documents. In this paper we focus on the ability of Fuzzy XPath for exploring derivation trees generated by FLOPER once they are exported in XML format, which somehow serves as a debugging/analizing tool for discovering the set of fuzzy computed answers for a given goal, performing depth/breadth-first traversals of its associated derivation tree, finding non fully evaluated branches, etc., thus reinforcing the bi-lateral synergies between Fuzzy XPath and FLOPER

Vpliv zahtevnosti postopka in odnosa strank do izpolnjevanja vprašalnikov na rezultate barometra kakovosti

Overbooking techniques have been proven efficientto increase overall utilization of cloud datacenters. However,overbooking may also degrade applications performance as (atleast) some applications need to share physical resources suchas CPU or memory. Consequently, interference may increaseamong the virtual machines that share resources, the so callednoisy neighbors effect. We present an affinity-aware schedulerto reduce the impact of such interference. A fuzzy logic engineaccounts for the uncertainty in these environments and estimateswhich CPU cores are currently more suitable for each incomingapplication. This helps the scheduler make virtual machine tophysical resource mapping decisions, also known as vcpu pinning.An experimental evaluation based on a combination of interactiveservices and batch applications confirms that our affinity-awarefuzzy scheduler reduces the interference among applications,enabling more predictable performance and consequently saferoverbooking

Normalization of blood clotting characteristics using prothrombin complex concentrate, fibrinogen and FXIII in an albumin based fluid : experimental studies in thromboelastometry

Colloid fluids supplemented with adequate combinations of coagulation factor concentrates with the capability to restore coagulation could be a desirable future treatment component in massive transfusion. Starting from a coagulation factor and blood cell-free albumin solution we added Prothrombin Complex Concentrate, Fibrinogen Concentrate and Factor XIII in different combinations and concentrations to analyze their properties to restore thromboelastometry parameters without the use of plasma. Further analysis under the presence of platelets was performed for comparability to whole blood conditions. Albumin solutions enriched with Fibrinogen Concentrate, Factor XIII and Prothrombin Complex Concentrate at optimized concentrations show restoring coagulation potential. Prothrombin Complex Concentrate showed sufficient thrombin formation for inducing fibrinogen polymerization. The combination of Prothrombin Complex Concentrate and Fibrinogen Concentrate led to the formation of a stable in vitro fibrin clot. Fibrinogen and Factor XIII showed excellent capacity to improve fibrin clot firmness expressed as Amplitude at 10 min and Maximal Clot Firmness. Fibrinogen alone, or in combination with Factor XIII, was able to restore normal Amplitude at 10 min and Maximal Clot Firmness values. In the presence of platelets, the thromboelastometry surrogate parameter for thrombin generation (Clotting Time) improves and normalizes when compared to whole blood. Combinations of coagulation factor concentrates suspended in albumin solutions can restore thromboelastometry parameters in the absence of plasma. This kind of artificial colloid fluids with coagulation-restoring characteristics might offer new treatment alternatives for massive transfusion. Study registered at the institutional ethic committee "Institut de Recerca, Hospital Santa Creu i Sant Pau, with protocol number IIBSP-CFC-2013-165

Risk and outcomes of COVID-19 in patients with multiple sclerosis

Background and purpose Limited information is available on incidence and outcomes of COVID-19 in patients with multiple sclerosis (MS). This study investigated the risks of SARS-CoV-2 infection and COVID-19-related outcomes in patients with MS, and compared these with the general population. Methods A regional registry was created to collect data on incidence, hospitalization rates, intensive care unit admission, and death in patients with MS and COVID-19. National government outcomes and seroprevalence data were used for comparison. The study was conducted at 14 specialist MS treatment centers in Madrid, Spain, between February and May 2020. Results Two-hundred nineteen patients were included in the registry, 51 of whom were hospitalized with COVID-19. The mean age ± standard deviation was 45.3 ± 12.4 years, and the mean duration of MS was 11.9 ± 8.9 years. The infection incidence rate was lower in patients with MS than the general population (adjusted incidence rate ratio = 0.78, 95% confidence interval [CI] = 0.70–0.80), but hospitalization rates were higher (relative risk = 5.03, 95% CI = 3.76–6.62). Disease severity was generally low, with only one admission to an intensive care unit and five deaths. Males with MS had higher incidence rates and risk of hospitalization than females. No association was found between the use of any disease-modifying treatment and hospitalization risk. Conclusions Patients with MS do not appear to have greater risks of SARS-CoV-2 infection or severe COVID-19 outcomes compared with the general population. The decision to start or continue disease-modifying treatment should be based on a careful risk–benefit assessment.post-print996 K

Lipid profile, cardiovascular disease and mortality in a Mediterranean high-risk population: The ESCARVAL-RISK study.

The potential impact of targeting different components of an adverse lipid profile in populations with multiple cardiovascular risk factors is not completely clear. This study aims to assess the association between different components of the standard lipid profile with all-cause mortality and hospitalization due to cardiovascular events in a high-risk population. This prospective registry included high risk adults over 30 years old free of cardiovascular disease (2008-2012). Diagnosis of hypertension, dyslipidemia or diabetes mellitus was inclusion criterion. Lipid biomarkers were evaluated. Primary endpoints were all-cause mortality and hospital admission due to coronary heart disease or stroke. We estimated adjusted rate ratios (aRR), absolute risk differences and population attributable risk associated with adverse lipid profiles. 51,462 subjects were included with a mean age of 62.6 years (47.6% men). During an average follow-up of 3.2 years, 919 deaths, 1666 hospitalizations for coronary heart disease and 1510 hospitalizations for stroke were recorded. The parameters that showed an increased rate for total mortality, coronary heart disease and stroke hospitalization were, respectively, low HDL-Cholesterol: aRR 1.25, 1.29 and 1.23; high Total/HDL-Cholesterol: aRR 1.22, 1.38 and 1.25; and high Triglycerides/HDL-Cholesterol: aRR 1.21, 1.30, 1.09. The parameters that showed highest population attributable risk (%) were, respectively, low HDL-Cholesterol: 7.70, 11.42, 8.40; high Total/HDL-Cholesterol: 6.55, 12.47, 8.73; and high Triglycerides/HDL-Cholesterol: 8.94, 15.09, 6.92. In a population with cardiovascular risk factors, HDL-cholesterol, Total/HDL-cholesterol and triglycerides/HDL-cholesterol ratios were associated with a higher population attributable risk for cardiovascular disease compared to other common biomarkers.S

Lipid profile, cardiovascular disease and mortality in a Mediterranean high-risk population: the ESCARVAL-RISK study

The potential impact of targeting different components of an adverse lipid profile in populations with multiple cardiovascular risk factors is not completely clear. This study aims to assess the association between different components of the standard lipid profile with all cause mortality and hospitalization due to cardiovascular events in a high-risk population. Methods This prospective registry included high risk adults over 30 years old free of cardiovascular disease (2008±2012). Diagnosis of hypertension, dyslipidemia or diabetes mellitus was inclusion criterion. Lipid biomarkers were evaluated. Primary endpoints were all-cause mortality and hospital admission due to coronary heart disease or stroke. We estimated adjusted rate ratios (aRR), absolute risk differences and population attributable risk associated with adverse lipid profiles. Results 51,462 subjects were included with a mean age of 62.6 years (47.6% men). During an average follow-up of 3.2 years, 919 deaths, 1666 hospitalizations for coronary heart disease and 1510 hospitalizations for stroke were recorded. The parameters that showed an increased rate for total mortality, coronary heart disease and stroke hospitalization were, respectively, low HDL-Cholesterol: aRR 1.25, 1.29 and 1.23; high Total/HDL-Cholesterol: aRR 1.22, 1.38 and 1.25; and high Triglycerides/HDL-Cholesterol: aRR 1.21, 1.30, 1.09. The parameters that showed highest population attributable risk (%) were, respectively, low HDL-Cholesterol: 7.70, 11.42, 8.40; high Total/HDL-Cholesterol: 6.55, 12.47, 8.73; and high Triglycerides/ HDL-Cholesterol: 8.94, 15.09, 6.92. Conclusions In a population with cardiovascular risk factors, HDL-cholesterol, Total/HDL-cholesterol and triglycerides/HDL-cholesterol ratios were associated with a higher population attributable risk for cardiovascular disease compared to other common biomarkers

Quantitative modeling of the physiology of ascites in portal hypertension

Although the factors involved in cirrhotic ascites have been studied for a century, a number of observations are not understood, including the action of diuretics in the treatment of ascites and the ability of the plasma-ascitic albumin gradient to diagnose portal hypertension. This communication presents an explanation of ascites based solely on pathophysiological alterations within the peritoneal cavity. A quantitative model is described based on experimental vascular and intraperitoneal pressures, lymph flow, and peritoneal space compliance. The model's predictions accurately mimic clinical observations in ascites, including the magnitude and time course of changes observed following paracentesis or diuretic therapy

PREDICT identifies precipitating events associated with the clinical course of acutely decompensated cirrhosis

Background & Aims: Acute decompensation (AD) of cirrhosis may present without acute-on-chronic liver failure (ACLF) (ADNo ACLF), or with ACLF (AD-ACLF), defined by organ failure(s). Herein, we aimed to analyze and characterize the precipitants leading to both of these AD phenotypes. Methods: The multicenter, prospective, observational PREDICT study (NCT03056612) included 1,273 non-electively hospitalized patients with AD (No ACLF = 1,071; ACLF = 202). Medical history, clinical data and laboratory data were collected at enrolment and during 90-day follow-up, with particular attention given to the following characteristics of precipitants: induction of organ dysfunction or failure, systemic inflammation, chronology, intensity, and relationship to outcome. Results: Among various clinical events, 4 distinct events were precipitants consistently related to AD: proven bacterial infections, severe alcoholic hepatitis, gastrointestinal bleeding with shock and toxic encephalopathy. Among patients with precipitants in the AD-No ACLF cohort and the AD-ACLF cohort (38% and 71%, respectively), almost all (96% and 97%, respectively) showed proven bacterial infection and severe alcoholic hepatitis, either alone or in combination with other events. Survival was similar in patients with proven bacterial infections or severe alcoholic hepatitis in both AD phenotypes. The number of precipitants was associated with significantly increased 90day mortality and was paralleled by increasing levels of surrogates for systemic inflammation. Importantly, adequate first-line antibiotic treatment of proven bacterial infections was associated with a lower ACLF development rate and lower 90-day mortality. Conclusions: This study identified precipitants that are significantly associated with a distinct clinical course and prognosis in patients with AD. Specific preventive and therapeutic strategies targeting these events may improve outcomes in patients with decompensated cirrhosis. Lay summary: Acute decompensation (AD) of cirrhosis is characterized by a rapid deterioration in patient health. Herein, we aimed to analyze the precipitating events that cause AD in patients with cirrhosis. Proven bacterial infections and severe alcoholic hepatitis, either alone or in combination, accounted for almost all (96-97%) cases of AD and acute-on-chronic liver failure. Whilst the type of precipitant was not associated with mortality, the number of precipitant(s) was. This study identified precipitants that are significantly associated with a distinct clinical course and prognosis of patients with AD. Specific preventive and therapeutic strategies targeting these events may improve patient outcomes. (c) 2020 European Association for the Study of the Liver. Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)